A second order logic of existence
نویسندگان
چکیده
منابع مشابه
Second-Order Equational Logic
We provide an extension of universal algebra and its equational logic from first to second order. Conservative extension, soundness, and completeness results are established.
متن کاملA Defense of Second-Order Logic
Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incompl...
متن کاملSecond-Order Logic of Paradox
The Logic of Paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic....
متن کاملOrder-type existence theorem for second order nonlocal problems at resonance
This paper gives an abstract order-type existence theorem for second order nonlocal boundary value problems at resonance and obtain existence criteria for at least two positive solutions, where $f$ is a continuous function. Our results generalize or extend related results in the literature and give a positive answer to the question raised in the literature. An example is given to illustr...
متن کاملkhunaji’s tautologies in second-order logic
for the first time in the history of logic, afzal al-din al-khunaji has found tautologies and contradictories among the verity and actuality propositions. these have been formalized and investigated in first-order logic and it has been shown that their perpetual truth requires the assumption of ‘the presupposed existence of non-existence.’ in this paper, i investigate the tautologies in second-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1969
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2270982